Integration von Sicherheits- und Zuverlässigkeitsmodellen in den Entwicklungsprozess Eingebetteter Systeme

In diesem Artikel wird ein Rahmenwerk zur Integration verschiedener Modelle der Sicherheitsund Zuverlässigkeitsanalyse sowohl untereinander als auch mit Entwicklungs-Modellen vorgestellt. Quantitative Analysen erfolgen weiterhin mit den Verfahren der Teilmodelle, das Werkzeug des Rahmenwerks steuert den Gesamtablauf. Da das Rahmenwerk sich nicht nur für zwei oder drei spezifische Techniken eignen soll, muss es in der Lage sein, alle relevanten Aussageformen in einer Rahmensprache beschreiben zu können und so zwischen den Modellen zu übersetzen. In der Praxis soll dafür eine XML-Sprache und eine Hierarchie von XML-Schemas zum Einsatz kommen.